341. Saturated model theory
پدیدآورنده: Sacks, Gerald E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory
رده :
QA
9
.
S313
342. Saturated model theory
پدیدآورنده: [by] Gerald E. Sacks.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Model theory.,Modèles, Théorie des.,31.02 philosophy and theory of mathematics.,Model theory.,Model theory.,Modèles, Théorie des.,Modelltheorie
رده :
QA9
.
S313
343. Set theory and hierarchy theory
پدیدآورنده: / edited by W. Marek, M. Srebrny, A. Zarach
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Mostowski, Andrzej, 1913-1975 -- Bibliography,Set theory -- Congresses,Model theory -- Congresses,Recursive functions -- Congresses
رده :
QA
248
.
C6
1975
344. Set theory and hierarchy theory V
پدیدآورنده: / edited by A. Lachlan, M. Srebrny, A. Zarach
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Set theory -- Congresses,Recursion theory -- Hierarchies -- Congresses,Model theory -- Congresses
رده :
QA
248
.
C6
1976
345. Set theory and hierarchy theory V ... 1976
پدیدآورنده: edited by A. Lachlan, M. Srebrny, and A. Zarach
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Set theory,Congresses ، Recursion theory -- Hierarchies,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
619
346. Set theory and hierarchy theory V:Bierutowice, Ploand, 1976
پدیدآورنده: Conference on set Theory and Hierachy Theory, 3d, Bierutowice, Poland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Set theory,Hirarchies -Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
347. Set theory and hierarchy theory V: Bierutowice, Poland, 1976
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Set theory,Hierarchies Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
348. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده: edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
248
.
C6
349. Set theory and hierarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Bibliography ، Mostowski, Andrzej,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
3
.
L28
no
.
537
350. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده: edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
1
.
L4
v
.
537
351. Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975
پدیدآورنده: edited by W. Marek, M. Srebrny and A. Zarach
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej, 3191-5791
رده :
QA
3
.
L28
Vol
.
537
352. Set theory and hirarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975;]Proceedings[
پدیدآورنده: Conference on Set Theory and Hierarchy Theory, 2d, Bierutowice, Poland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibiography ، Mostowski, Andrzej
رده :
QA
3
.
L28
no
.
537
353. Set theory and model theory
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Set theory- Congresses ► Model theory- Congresses
رده :
S495
354. Set theory and model theory
پدیدآورنده: / edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Set theory -- Congresses,Model theory -- Congresses
رده :
QA
248
.
S4
1979
355. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R. B. Jensen and A. Prestel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
872
356. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: / edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Set theory - Congresses,Model theory - Congresses
رده :
QA3
.
L28
,
no
.
872
357. Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
872
358. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Set theory,Congresses ، Model theory
رده :
QA
1
.
L4
v
.
872
359. Set theory and model thoery: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده: edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Set theory,Model thoery - Congresses
رده :
QA
3
.
L28
no
.
872
360. Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics
پدیدآورنده: Silvio Ghilardi, Marek Zawadowski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Categories )Mathematics(,، Proposition )Logic(,، Model theory
رده :
QA
169
.
G474S5
